java -Xms13G -Xmx52G -jar TimGangReasoner.jar